function format_time(date) {
	var h = date.getHours();
	var m = date.getMinutes();
	var s = date.getSeconds();
	var timeStr = (''+date.getFullYear()).substring(2) + '-' + date.getMonth() + '-'
			+ date.getDate() + ' ';
	timeStr += (h < 10 ? '0' : '') + h + ':';
	timeStr += (m < 10 ? '0' : '') + m + ':';
	timeStr += (s < 10 ? '0' : '') + s;
	return timeStr;
}